The Space Package: Tight Integration between Space and Semantics
نویسندگان
چکیده
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides spatial indexing capabilities. Together with the existing semantic web reasoning capabilities of SWI-Prolog, this allows efficient integration of spatial and semantic queries and provides an infrastructure for declarative programming with space and semantics. There are few systems that provide indexing and reasoning facilities for both spatial and semantic data. A common solution is to combine separate semantic reasoning and geospatial services. Such loose coupling has the disadvantage that each service cannot make use of the statistics of the other. This makes optimization of such a service-oriented architecture hard. The SWI-Prolog Space and Semantic web packages provide a native Prolog interface to both spatial and semantic indexing and reasoning, which makes it easy to write combined query optimizers. Another advantage of the Space package is that it allows declarative logic programming, which means in practice that you say what you want to compute instead of how to compute it. The actual indexing machinery is encapsulated inside Prolog predicates. In this article we describe the interface of the Space package, compare its functionality to alternative software libraries, and show how to work with it using three example applications. These example illustrations include reasoning over movement patterns, dynamically loading geospatial linked data off the semantic web, and setting up a simple KML server. Address for correspondence: Willem Robert van Hage, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands. E-mail: [email protected] Transactions in GIS, 2010, 14(2): 131–146 © 2010 Blackwell Publishing Ltd doi: 10.1111/j.1467-9671.2010.01187.x
منابع مشابه
Time-Dependent Real-Space Renormalization Group Method
In this paper, using the tight-binding model, we extend the real-space renormalization group method to time-dependent Hamiltonians. We drive the time-dependent recursion relations for the renormalized tight-binding Hamiltonian by decimating selective sites of lattice iteratively. The formalism is then used for the calculation of the local density of electronic states for a one dimensional quant...
متن کاملدگرگونی جایگاه مسجد جامع در پیکرهبندی فضایی شهر اسلامی مورد مطالعه: مسجد جامع شهر سبزوار
In recent century, urban development has caused be numerous changes in spatial structure of Iranian cities. One of the most changes has occurred in the relationships between urban elements and effect on grand the mosque functional spatial characteristics. Sabzevar grand mosque is one of the important elements of the historic city with religious and social function and had important role in urba...
متن کاملSocial Logic of Kitchen Space in Vernacular Architecture (Case Study: Qeshm Housing) – Examination and Analysis
Culture and social relations play a significant role in the formation of the structure of vernacular housing of any region, especially in the Islamic countries where privacy has a considerable effect on the vernacular culture, and consequently, on the house’s structure. Among the house spaces, the kitchen is more affected than other spaces by such issues so that its relations pattern with other...
متن کاملNonlinear Numerical Integration Scheme in Strain Space Plasticity
Strains are applied to the integration procedure in nonlinear increments todecrease the errors arising from the linearization of plastic equations. Two deformationvectors are used to achieve this. The first vector is based on the deformations obtained bythe first iteration of the equilibrium step, and the second is acquired from the sum of thesucceeding iterations. By applying these vectors and...
متن کاملModernity and the nature of power space production in Iran Relying on the views of Henri Lefebvre
This article examines the relationship between space and history in general and in particular the relationship between the space of power or, in Luffy's view, abstract space and modernity. The methodology of this article is historical-formative and analytical; This means that the study of structural changes and progress and movement (both internal and external) phenomenon that considers it in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Trans. GIS
دوره 14 شماره
صفحات -
تاریخ انتشار 2010